Podymov, O.I.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Translation of UML Statecharts to UPPAAL Automata for Verification of Real-time Systems

Daniil A. Zorin,Vladislav V. Podymov

Journal:

Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering

Year:

2012

Language:

english

File:

PDF, 562 KB

english, 2012

2

Modeling the influence of oxygenated inflows on the biogeochemical structure of the Gotland Sea, central Baltic Sea: Changes in the distribution of manganese

E.V. Yakushev, I.S. Kuznetsov, O.I. Podymov, H. Burchard, T. Neumann, F. Pollehne

Journal:

Computers & Geosciences

Year:

2011

Language:

english

File:

PDF, 1.18 MB

english, 2011

3

Results of test experiment comparing measurement data of three adjacent ADCP bottom stations

Piotukh, V. B., Baranov, V. I., Kuklev, S. B., Podymov, O. I.

Journal:

Year:

2016

Language:

english

File:

PDF, 4.80 MB

english, 2016

4

Efficient Equivalence-Checking Algorithms for Procedural Programs in Progressive Semigroup Gateway Models

Journal:

Moscow University Computational Mathematics and Cybernetics

Year:

2019

File:

PDF, 528 KB

2019

5

Probabilistic-kinetic model of dynamic deformation and breakage of fissured hard rocks. part 3: computer implementation

A. D. Borulev, V. S. Krutsan, V. K. Makeev, V. V. Podymov

Journal:

Journal of Mining Science

Year:

1992

Language:

english

File:

PDF, 540 KB

english, 1992

6

Kinetic model of the dynamic deformation and destruction of rock. I. Physical construction

A. D. Borulev, V. S. Krutsan, V. K. Makeev, V. V. Podymov

Journal:

Journal of Mining Science

Year:

1992

Language:

english

File:

PDF, 728 KB

english, 1992

7

Kinetic model of the dynamic deformation and failure of rock. II. Mathematical description of failure

A. D. Borulev, V. S. Krutsan, V. K. Makeev, V. V. Podymov

Journal:

Journal of Mining Science

Year:

1992

Language:

english

File:

PDF, 531 KB

english, 1992

8

Heat transfer during nonlinear oscillations of gas in a half-open tube

G. G. Khalimov, R. G. Galiullin, V. N. Podymov

Journal:

Journal of Engineering Physics and Thermophysics

Year:

1983

Language:

english

File:

PDF, 657 KB

english, 1983

9

Note on the appearance of vortices in vibratory combustion

V. N. Podymov, D. S. Kayumova

Journal:

Journal of Engineering Physics and Thermophysics

Year:

1966

Language:

english

File:

PDF, 360 KB

english, 1966

10

The variation of the index of refraction in a vortex tube

Journal:

Journal of Engineering Physics and Thermophysics

Year:

1965

Language:

english

File:

PDF, 239 KB

english, 1965

11

Ignition of a fuel-air mixture with a high-speed plasma jet

V. V. Afanas'ev, A. K. Kuz'min, S. A. Abrukov, V. N. Podymov, S. V. Il'in

Journal:

Journal of Engineering Physics and Thermophysics

Year:

1994

Language:

english

File:

PDF, 224 KB

english, 1994

12

Experimental study of heat transfer in a pulsating combustor

N. Kh. Kahlitov, V. B. Repin, V. N. Podymov

Journal:

Journal of Engineering Physics and Thermophysics

Year:

1975

Language:

english

File:

PDF, 311 KB

english, 1975

13

Calculation of process parameters for destruction of mine workings by explosive loads

A. D. Borulev, V. V. Podymov

Journal:

Journal of Mining Science

Year:

1991

Language:

english

File:

PDF, 357 KB

english, 1991

14

Erratum: “On the Stability and Interannual Variability in the Hydrochemical Structure of the Redox Layer of the Black Sea”

E. V. Yakushev, O. I. Podymov, A. V. Egorov, T. P. Demidova, S. V. Pakhomova, V. K. Chasovnikov, M. V. Chelysheva

Journal:

Year:

2006

File:

PDF, 92 KB

2006

15

Use of a problem-oriented database for statistical analysis of the hydrochemical characteristics of the redox layer of the Black Sea

Journal:

Year:

2008

Language:

english

File:

PDF, 259 KB

english, 2008

16

High-frequency variability of vertical distribution of suspended sediment concentration under irregular waves

B. V. Divinsky, R. D. Kos’yan, M. V. Krylenko, I. S. Podymov

Journal:

Year:

2011

Language:

english

File:

PDF, 499 KB

english, 2011

17

Vibratory flame over a coaxial burner

V. N. Podymov, I. F. Chuchalin

Journal:

Combustion, Explosion, and Shock Waves

Year:

1969

Language:

english

File:

PDF, 350 KB

english, 1969

18

Molecular bases of ligand pathology and chelate pharmacology

V. K. Podymov, S. P. Gladkikh, L. A. Piruzyan

Journal:

Pharmaceutical Chemistry Journal

Year:

1982

Language:

english

File:

PDF, 550 KB

english, 1982

19

Oscillation excitation limits in a system containing a multichannel burner

V. M. Larionov, V. N. Podymov

Journal:

Combustion, Explosion, and Shock Waves

Year:

1984

Language:

english

File:

PDF, 222 KB

english, 1984

20

Effect of thickness of diffusion-temperature layer on flame height

V. N. Podymov, I. F. Chuchalin

Journal:

Combustion, Explosion, and Shock Waves

Year:

1968

Language:

english

File:

PDF, 237 KB

english, 1968

21

Remarks on the vibrational combustion of falling drops

V. N. Podymov, A. G. Gabidovskii, V. I. Serikov

Journal:

Combustion, Explosion, and Shock Waves

Year:

1974

Language:

english

File:

PDF, 352 KB

english, 1974

22

Book reviews

Journal:

Year:

1969

Language:

english

File:

PDF, 398 KB

english, 1969

23

Seasonal and interannual variability of hydrology and nutrients in the Northeastern Black Sea

Yakushev, E. V., Arkhipkin, V. S., Antipova, E. A., Kovaleva, I. N., Chasovnikov, V. K., Podymov, O. I.

Journal:

Chemistry and Ecology

Year:

2007

Language:

english

File:

PDF, 726 KB

english, 2007

24

The northeastern Black Sea redox zone: Hydrochemical structure and its temporal variability

E.V. Yakushev, V.K. Chasovnikov, E.I. Debolskaya, A.V. Egorov, P.N. Makkaveev, S.V. Pakhomova, O.I. Podymov, V.G. Yakubenko

Journal:

Deep Sea Research Part II: Topical Studies in Oceanography

Year:

2006

Language:

english

File:

PDF, 647 KB

english, 2006

25

Algorithm for verifying the equivalence of linear unary recursive programs on ordered semigroup scales

Journal:

Moscow University Computational Mathematics and Cybernetics

Year:

2013

Language:

english

File:

PDF, 235 KB

english, 2013

26

Interannual variability of the Black Sea Proper oxygen and nutrients regime: The role of climatic and anthropogenic forcing

Pakhomova, S., Vinogradova, E., Yakushev, E., Zatsepin, A., Shtereva, G., Chasovnikov, V., Podymov, O.

Journal:

Estuarine, Coastal and Shelf Science

Year:

2014

Language:

english

File:

PDF, 1.18 MB

english, 2014

27

Transport of solid material to the coastal zone near Gelendzhik after extremely heavy rains

Krylenko, V. V., Kosyan, R. D., Krylenko, M. V., Podymov, I. S.

Journal:

Year:

2014

Language:

english

File:

PDF, 3.56 MB

english, 2014

28

Subsatellite polygon for studying hydrophysical processes in the Black Sea shelf-slope zone

Zatsepin, A. G., Ostrovskii, A. G., Kremenetskiy, V. V., Nizov, S. S., Piotukh, V. B., Soloviev, V. A., Shvoev, D. A., Tsibul’sky, A. L., Kuklev, S. B., Kukleva, O. N., Moskalenko, L. V., Podymov, O.

Journal:

Izvestiya, Atmospheric and Oceanic Physics

Year:

2014

Language:

english

File:

PDF, 4.00 MB

english, 2014

29

On the nature of short-period oscillations of the main Black Sea pycnocline, submesoscale eddies, and response of the marine environment to the catastrophic shower of 2012

Zatsepin, A. G., Ostrovskii, A. G., Kremenetskiy, V. V., Piotukh, V. B., Kuklev, S. B., Moskalenko, L. V., Podymov, O. I., Baranov, V. I., Korzh, A. O., Stanichny, S. V.

Journal:

Izvestiya, Atmospheric and Oceanic Physics

Year:

2013

Language:

english

File:

PDF, 2.64 MB

english, 2013

30

[IEEE 2014 International Science and Technology Conference (Modern Networking Technologies) (MoNeTeC) - Moscow, Russia (2014.10.28-2014.10.29)] 2014 First International Science and Technology Conference (Modern Networking Technologies) (MoNeTeC) - VERMONT - A toolset for checking SDN packet forwarding policies on-line

Altukhov, V., Podymov, V., Zakharov, V., Chemeritskiy, E.

Year:

2014

Language:

english

File:

PDF, 175 KB

english, 2014

31

How to make a simple tool for verification of real-time systems

Konnov, I. V., Podymov, V. V., Volkanov, D. Yu., Zakharov, V. A., Zorin, D. A.

Journal:

Automatic Control and Computer Sciences

Year:

2014

Language:

english

File:

PDF, 263 KB

english, 2014

32

[IEEE 2013 Tools & Methods of Program Analysis (TMPA) - Kostroma, Russia (2013.10.10-2013.10.12)] 2013 Tools & Methods of Program Analysis - UPPAAL-based software-defined network verification

Podymov, Vladislav, Popesko, Uliana

Year:

2013

Language:

english

File:

PDF, 220 KB

english, 2013

33

A combined toolset for the verification of real-time distributed systems

Volkanov, D. Yu., Zakharov, V. A., Zorin, D. A., Podymov, V. V., Konnov, I. V.

Journal:

Programming and Computer Software

Year:

2015

Language:

english

File:

PDF, 925 KB

english, 2015

34

Marine environmental monitoring in the shelf zone of the Black Sea: Assessment of the current state of the pelagic ecosystem

Arashkevich, E. G., Louppova, N. E., Nikishina, A. B., Pautova, L. A., Chasovnikov, V. K., Drits, A. V., Podymov, O. I., Romanova, N. D., Stanichnaya, R. R., Zatsepin, A. G., Kuklev, S. B., Flint, M.

Journal:

Year:

2015

Language:

english

File:

PDF, 369 KB

english, 2015

35

[American Society of Civil Engineers 24th International Conference on Coastal Engineering - Kobe, Japan (October 23-28, 1994)] Coastal Engineering 1994 - Measurement of Parameters, Direction and Rate of Bedform Migration

Kos'Yan, R. D., Podymov, I. S.

Language:

english

File:

PDF, 196 KB

english

36

[American Society of Civil Engineers 27th International Conference on Coastal Engineering (ICCE) - Sydney, Australia (July 16-21, 2000)] Coastal Engineering 2000 - Investigations of Vertical Distribution of Suspended Sediments during Field Experiment Novomikhailovka '99

Podymov, Igor S., Kos'yan, Ruben D., Pykhov, Nikolay V.

Year:

2001

Language:

english

File:

PDF, 1.00 MB

english, 2001

37

Observations of a cycle of intense coastal upwelling and downwelling at the research site of the Shirshov Institute of Oceanology in the Black Sea

Zatsepin, A. G., Silvestrova, K. P., Kuklev, S. B., Piotoukh, V. B., Podymov, O. I.

Journal:

Year:

2016

Language:

english

File:

PDF, 3.27 MB

english, 2016

38

[Society of Petroleum Engineers SPE/DOE Improved Oil Recovery Symposium - Tulsa, Oklahoma (2002-04-13)] SPE/DOE Improved Oil Recovery Symposium - Application And Method Based On Artificial Intelligence For Selection Of Structures And Screening Of Technologies For Enhanced Oil Recovery

Ibatullin, R.R., Ibragimov, N.G., Khisamov, R.S., Podymov, E.D., Shutov, A.A.

Language:

english

File:

PDF, 261 KB

english

39

[American Society of Civil Engineers Fourth Conference on Coastal Dynamics - Lund, Sweden (June 11-15, 2001)] Coastal Dynamics '01 - Sediment Suspension under Shoaling Waves over Nearly Flat Bed

Kos'yan, R., Kunz, H., Kuznetsov, S., Podymov, I., Pykhov, N.

Year:

2001

Language:

english

File:

PDF, 618 KB

english, 2001

40

[Society of Petroleum Engineers SPE/DOE Improved Oil Recovery Symposium - (2002.04.13-2002.04.17)] Proceedings of SPE/DOE Improved Oil Recovery Symposium - Application and method based on artificial intelligence for selection of structures and screening of technologies for enhanced oil recovery

Ibatullin, R.R., Ibragimov, N.G., Khisamov, R.S., Podymov, E.D., Shutov, A.A.

Year:

2002

Language:

english

File:

PDF, 261 KB

english, 2002

41

An Efficient Equivalence-checking Algorithm for a Model of Programs with Commutative and Absorptive Statements

Podymov, Vladislav, Czaja, Ludwik, Penczek, Wojciech, Stencel, Krzysztof

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 374 KB

english, 2016

42

Seasonal anomalies of water salinity in the Gelendzhik region of the Black Sea according to shipborne monitoring data

O. I. Podymov,A. G. Zatsepin

Journal:

Year:

2016

Language:

english

File:

PDF, 2.13 MB

english, 2016

43

Sinking of less dense water in the bottom Ekman layer formed by a coastal downwelling current over a sloping bottom

Elkin, D. N., Zatsepin, A. G., Podymov, O. I., Ostrovskii, A. G.

Journal:

Year:

2017

Language:

english

File:

PDF, 1.23 MB

english, 2017

44

Vertical turbulent exchange in the Black Sea pycnocline and its relation to water dynamics

Podymov, O. I., Zatsepin, A. G., Ostrovsky, A. G.

Journal:

Year:

2017

Language:

english

File:

PDF, 4.43 MB

english, 2017

45

[American Society of Civil Engineers Conference on Coastal Engineering Practice 2011 - San Diego, California, United States (August 21-24, 2011)] Coastal Engineering Practice (2011) - Influence of JONSWAP Wave Spectra Form on Frequency Spectrum of Suspended Sediment Transport Values

Podymov, I. S., Grüne, J., Kos'yan, R. D., Podymova, T. M.

Language:

english

File:

PDF, 1.22 MB

english

46

[American Society of Civil Engineers Conference on Coastal Engineering Practice 2011 - San Diego, California, United States (August 21-24, 2011)] Coastal Engineering Practice (2011) - Influence of Small Rivers' Runoff on the Hydrochemical Structure of Coastal Waters of the North-Eastern Black Sea

Kostyleva, A. V., Podymov, O. I., Makkaveev, P. N., Polukhin, A. A.

Language:

english

File:

PDF, 986 KB

english

47

Drivers of phytoplankton blooms in the northeastern Black Sea

Silkin, V.A., Pautova, L.A., Giordano, M., Chasovnikov, V.K., Vostokov, S.V., Podymov, O.I., Pakhomova, S.V., Moskalenko, L.V.

Journal:

Marine Pollution Bulletin

Year:

2019

Language:

english

File:

PDF, 1.35 MB

english, 2019

48

A Flattening Algorithm for Hierarchical Timed Automata

Journal:

Computational Mathematics and Modeling

Year:

2019

Language:

english

File:

PDF, 144 KB

english, 2019

49

A Flattening Algorithm for Hierarchical Timed Automata

Journal:

Computational Mathematics and Modeling

Year:

2019

File:

PDF, 144 KB

2019

50

Seasonal and interannual variability of vertical turbulent exchange coefficient in the Black Sea pycnocline in 2013–2016 and its relation to variability of mean kinetic energy of surface currents

Podymov, Oleg, Zatsepin, Andrei, Kubryakov, Arseny, Ostrovskii, Alexander

Journal:

Year:

2019

File:

PDF, 8.62 MB

2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски